#include <os_internal.h>
#include <R4300.h>
#include "osint.h"

u32 osVirtualToPhysical(void *addr)
{
	if (IS_KSEG0(addr)) {
		return K0_TO_PHYS(addr);
	} else if (IS_KSEG1(addr)) {
		return K1_TO_PHYS(addr);
	} else {
		return __osProbeTLB(addr);
	}
}
